Static Semantics as Program Transformation and Well-founded Computation
نویسندگان
چکیده
In this paper, we propose a new constructive characterization of those semantics for disjunctive logic programs which are extensions of the well-founded semantics for normal programs. Based on considerations about how disjunctive information is treated by a given semantics, we divide the computation of that semantics into two phases. The first one is a program transformation phase, which applies axiom schemata expressing how derivations involving disjunctions are made in the given semantic framework. The second one is a constructive phase, based on a variation of the well-founded model construction for normal programs. We apply this two-phases procedural semantics to the computation of the static semantics of disjunctive logic programs as a case-study, showing how it works and what its results are in several examples. A main perspective of this proposal is a procedural semantics for disjunctive programs consisting of an inefficient preprocessing phase (implementing the program transformation procedure), to be however performed only once, and of an efficient runtime computation, obtained as a variation of any effective procedural semantics for the well-founded model.
منابع مشابه
Stabel Model Implementation of Layer Supported Models by Program Transformation
• For practical applications, availability of a top-down query-driven procedure is most convenient for ease of use and efficient computation of answers, when employing Logic Programs as knowledge bases • 2-valued semantics for Normal Logic Programs (NLPs) allowing top-down query-solving is highly desirable, but the Stable Models semantics (SM) does not permit it, for lack of the " relevance " p...
متن کاملThe Limits of Fixed-Order Computation
Fixed-order computation rules, used by Prolog and most deductive database systems, do not suuce to compute the well-founded semantics 29] because they cannot properly resolve loops through negation. This inadequacy is reeected both in formulations of SLS-resolution 17, 23] which is an ideal search strategy, and in more practical strategies like SLG 5], or Well-Founded Ordered Search 27]. Typica...
متن کاملA Well-Founded Semantics with Disjunction
In this paper we develop a new semantics for disjunctive logic programs, called Well-Founded Semantics with Disjunction (WFSd), by resorting to a fixed point-based operator. Coinciding with the WellFounded Semantics (WFS) for normal logic programs, our semantics is uniquely defined for every disjunctive logic program. By exploring examples, we show WFSd does not agree with any other semantics w...
متن کاملDefault Negated Conclusions: Why Not?
We address the issue of the syntactical assymetry of logic programs: can one allow default negated literals in the heads ? This issue has been resolved positively, with full generality for the Stable Models based Answer Sets Semantics and, more recently, for the Well-founded Model based Static Semantics, for a wide class of programs. The work by Jonker also explores this issue for IMEX semantic...
متن کاملFlexible computation of the well-founded semantics of normal logic programs
The development and maintenance of modern information systems, that are getting more and more complex and, at the same time, require a high flexibility, is a great challenge for current information and communication technology. One contribution is the usage of a rule-based specification mechanism that allows the compact and declarative description of complex situations. One such rule language i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994